期刊
  出版年
  关键词
结果中检索 Open Search
Please wait a minute...
选择: 显示/隐藏图片
1. 编译前端分析自动构件化代码可靠性加强方法
葛红美,徐超,何炎祥
计算机科学与探索    2018, 12 (7): 1100-1108.   DOI: 10.3778/j.issn.1673-9418.1705084
相关文章 | 多维度评价
摘要 (416)
PDF (609)
2. Java安全性机制的形式分析与证明
江南,何炎祥,张晓瞳,刘瑞,沈云飞
计算机科学与探索    2016, 10 (11): 1501-1511.   DOI: 10.3778/j.issn.1673-9418.1606039
相关文章 | 多维度评价
摘要 (1162)
PDF (937)
3. 绿色编译优化策略:研究综述
何炎祥,陈勇,吴伟,李清安,江南,徐超
计算机科学与探索    2013, 7 (8): 673-690.   DOI: 10.3778/j.issn.1673-9418.1305041
相关文章 | 多维度评价
摘要 (5216)
PDF (2091)
4. 随机Petri网模型到马尔可夫链的转换规则与实现
何炎祥,沈华
计算机科学与探索    2013, 7 (1): 55-62.   DOI: 10.3778/j.issn.1673-9418.1209025
相关文章 | 多维度评价
摘要 (4339)
PDF (1917)
5. 可信编译理论及其核心实现技术:研究综述
何炎祥 1,2+ , 吴伟 2 , 刘陶 2 , 李清安2 , 陈勇 2 , 胡明昊2 , 刘健博2 , 石谦 2
计算机科学与探索    2011, 5 (1): 1-22.   DOI: 10.3778/j.issn.1673-9418.2011.01.001
相关文章 | 多维度评价
摘要 (6429)
PDF (3372)
6. 低速率拒绝服务攻击研究综述
何炎祥1,2 ,刘 陶1+ ,曹 强1 ,熊 琦1 ,韩 奕1
计算机科学与探索    2008, 2 (1): 1-19.  
相关文章 | 多维度评价
被引次数: Baidu(100)
摘要 (7199)
PDF (4590)